Modeling by Petri Nets
نویسندگان
چکیده
منابع مشابه
Soccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملController Synthesis By Petri Nets Modeling
In this paper, we present two different methods for the synthesis of a simplified controller using Petri Nets. The supervisory control theory presented by Ramadge and Wonham is adapted to Petri nets modeling. Uncontrollable transitions in discrete event systems are the cause of forbidden states in supervisory control. This paper concerns the problem of forbidden states in safe Petri Net. We pre...
متن کاملTD 7: Petri Nets 1 Modeling Using Petri Nets
Exercise 2 (Producer/Consumer). A producer/consumer system gathers two types of processes: producers who can make the actions produce (p) or deliver (d), and consumers with the actions receive (r) and consume (c). All the producers and consumers communicate through a single unordered channel. 1. Model a producer/consumer system with two producers and three consumers. How can you modify this sys...
متن کاملTD 9: Petri Nets 1 Modeling Using Petri Nets
1. Model a producer/consumer system with two producers and three consumers. How can you modify this system to enforce a maximal capacity of ten simultaneous items in the channel? 2. An inhibitor arc between a place p and a transition t makes t firable only if the current marking at p is zero. In the following example, there is such an inhibitor arc between p1 and t. A marking (0, 2, 1) allows t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Polytechnica
سال: 2005
ISSN: 1805-2363,1210-2709
DOI: 10.14311/676